(tt = ff $\in$ $\mathbb{B}$) $\Leftarrow\!\Rightarrow$ False